normal consistency

См. также в других словарях:

• Gentzen's consistency proof — Gentzen s theoremIn 1936 Gerhard Gentzen proved the consistency of first order arithmetic using combinatorial methods. Gentzen s proof shows much more than merely that first order arithmetic is consistent. Gentzen showed that the consistency of… …   Wikipedia

• Multivariate normal distribution — MVN redirects here. For the airport with that IATA code, see Mount Vernon Airport. Probability density function Many samples from a multivariate (bivariate) Gaussian distribution centered at (1,3) with a standard deviation of 3 in roughly the… …   Wikipedia

• Fifth normal form — (5NF), also known as Project join normal form (PJ/NF) is a level of database normalization, designed to reduce redundancy in relational databases recording multi valued facts by isolating semantically related multiple relationships. A table is… …   Wikipedia

• ГУСТОТА НОРМАЛЬНАЯ — (цементного теста) консистенция раствора вяжущего, при которой получается тесто заданной подвижности (Болгарский язык; Български) нормална гъстота (Чешский язык; Čeština) vodní součinitel (Немецкий язык; Deutsch) Normensteife (Венгерский язык;… …   Строительный словарь

• Mustard (condiment) — Mustard seeds (top left) may be ground (top right) to make different kinds of mustard. The other four mustards pictured are a simple table mustard with turmeric coloring (center left), a Bavarian sweet mustard (center right), a Dijon mustard… …   Wikipedia

• Yam (vegetable) — Yam is the common name for some species in the genus Dioscorea (family Dioscoreaceae).These are perennial herbaceous vines cultivated for the consumption of their starchy tubers in Africa, Asia, Latin America and Oceania. There are hundreds of… …   Wikipedia

• fatty liver — n 1) an abnormal condition of the liver that is characterized by lipid accumulation in the hepatocytes to the extent that lipids account for more than five percent of liver weight and that is caused esp. by injury, malnutrition, or hepatotoxins… …   Medical dictionary

• turgor vitalis — the normal consistency of living tissue …   Medical dictionary

• густота нормальная (цементного теста) — Консистенция раствора вяжущего, при которой получается тесто заданной подвижности [Терминологический словарь по строительству на 12 языках (ВНИИИС Госстроя СССР)] Тематики строительные изделия прочие EN normal consistency DE Normensteife FR taux… …   Справочник технического переводчика

• vicat apparatus — (ˈ)vē|kä noun Usage: usually capitalized V Etymology: after Louis J. Vicat died 1861 French engineer : a device for determining the normal consistency and time of setting of portland cements that consists of a rod weighing 300 grams, having a… …   Useful english dictionary

• Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia